1. A manual of intensional logic
پدیدآورنده: Benthem, Johan F. A. K. van, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic
رده :
P
25
.
C28
No
.
1
2. Categorial grammar /
پدیدآورنده: edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categorial grammar
رده :
P161
.
C38
1988
3. Handbook of logic and language
پدیدآورنده: / Johan Van Benthem, Alice ter Meulen.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
4. Handbook of logic and language
پدیدآورنده: ]edited by[ Johan van Benthem, Alice ter Meulen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Handbooks, manuals, etc ، Natural language processing )Computer science(,Handbooks, manuals, etc ، Logic, Symbolic and mathematical,Handbooks, manuals, etc ، Semantics
رده :
QA
76
.
9
.
N38H25
2011
5. Handbook of modal logic
پدیدآورنده: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
6. Handbook of spatial logics
پدیدآورنده: / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
7. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده: Benthem, Johan F. A. K. van, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
8. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Modal logic and classical logic
پدیدآورنده: Benthem, Johan F. A. K. van, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Modality )Logic(,، Logic
رده :
BC
199
.
M6B46
1985
10. Philosophy of information
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Information theory-- Philosophy
رده :
Q
360
.
P48
2008
11. Philosophy of information
پدیدآورنده: edited by Pieter Adriaans and Johan van Benthem
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: Philosophy ، Information theory
12. Philosophy of information
پدیدآورنده: edited by Pieter Adriaans and Johan van Benthem
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Philosophy ، Information theory
رده :
Q
360
.
P45
13. Readings in formal epistemology : Sourcebook
پدیدآورنده: Horacio Arlo-Costa, Vincent F. Hendricks, Johan van Benthem, editors; assistant editors : Henrik Boensvang, Rasmus K. Rendsvig
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Game theory
رده :
BD
161
.
R42
14. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده: edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
15. The logic of time
پدیدآورنده: Johan van Benthem
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع: Time,Ontology,Tense (Grammar),Tense (Logic)
رده :
BC
,
199
,.
T4
,
B4
,
1991
16. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
پدیدآورنده: Benthem, J. F. A. K. van
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Time,، Ontology,، Tense )Grammar(,، Tense )Logic(
رده :
BC
199
.
T4
.
B46
1991
17. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
پدیدآورنده: Benthem, Johan F. A. K. van, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Time,، Ontology,، Grammar, Comparative and general -- Tense,، Tense )Logic(
رده :
BC
199
.
T4B46
1991
